Formal derivation

Перевод formal derivation на русский язык

The textbook provided a formal derivation of the theorem.

Учебник предоставил формальное выведение теоремы.